Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning
نویسندگان
چکیده
منابع مشابه
Proof-theoretic type interpretation: a glimpse to proof-theoretic semantics
A foundation of model-theoretic semantics (MTS) for natural language (NL), ever since Montague’s seminal work, is the typing of meanings, most often expressed in some variant of the simply-typed λ -calculus. Types are interpreted in what is known as Henkin models, whereby basic types τ are interpreted as denoting arbitrary sets Dτ , except for the type t (of sentential meanings), denoting the t...
متن کاملProof-Theoretic Semantics (SEP Entry)
3 Some versions of proof-theoretic semantics 6 3.1 The semantics of implications: Admissibility, derivability, rules . . . . . 6 3.1.1 Lorenzen’s operative logic . . . . . . . . . . . . . . . . . . . . . 6 3.1.2 Von Kutschera’s Gentzen semantics . . . . . . . . . . . . . . . . 7 3.1.3 Schroeder-Heister’s extension of natural deduction . . . . . . . . 7 3.2 The Semantics of derivations as based ...
متن کاملProof theoretic reasoning in System
This paper investigates how the rules of System P might be used in order to construct proofs for default rules which take into account the bounds on the probabilities of the consequents of the defaults. The paper deenes a proof system, shows that it is sound, and then discusses at length the completeness of the system, and the kind of proofs that it can generate.
متن کاملDefinitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Within a framework of reasoning with respect to clausal definitions of atoms, four forms of judgement are distinguished: Direct and indirect assertion, and direct and indirect denial. Whereas direct assertion and direct denial are established by directly applying a definitional clause (“definitional closure”), indirect assertion and indirect denial result from showing that all possible premisse...
متن کاملThe proof theoretic approach to semantics “syntacticizes semantics”
The proof theoretic approach to semantics “syntacticizes semantics”. Generative syntax does something similar when it employs features and functional heads that correspond to semantic properties such as “definite”, “negative”, “distributive”, “topic”, “telic”, “evidential”, etc. In a paper that recasts Beghelli—Stowell’s 1997 theory of quantifier scope in minimalist terms, Stabler (1997) propos...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topoi
سال: 2012
ISSN: 0167-7411,1572-8749
DOI: 10.1007/s11245-012-9119-x